use (:) instead of Cons everywhere

2 files changed, 3 insertions, 3 deletions

diff --git a/lc/Builtins.lc b/lc/Builtins.lc
index fb7c288f..0ff2f3b1 100644
--- a/lc/Builtins.lc
+++ b/lc/Builtins.lc
@@ -479,7 +479,7 @@ data Interpolated t where
 
 rasterizePrimitive
     :: ( map Interpolated b ~ interpolation
-       , a ~ 'Cons (Vec 4 Float) b )
+       , a ~ Vec 4 Float: b )
     => HList interpolation                -- tuple of Smooth & Flat
     -> RasterContext (HList a) x
     -> Primitive (HList a) x
diff --git a/lc/Internals.lc b/lc/Internals.lc
index 6e61b4eb..170f2c39 100644
--- a/lc/Internals.lc
+++ b/lc/Internals.lc
@@ -119,7 +119,7 @@ instance Eq Nat where
     Succ a == Succ b = a == b
     _      == _      = False
 
-data List a = Nil | Cons a (List a)
+data List a = Nil | (:) a (List a)
 
 infixr 5 :
 
@@ -132,7 +132,7 @@ hlistConsCase
     :: forall (e :: Type) (f :: List Type)
     .  forall c
     -> (e -> HList f -> c)
-    -> HList (Cons e f)
+    -> HList (e: f)
     -> c
 
 {-