toLlvmType :: CType -> T.Type
toLlvmType t = case t of
  CTBool      -> T.IntegerType 32
  CTI32       -> T.IntegerType 32
  CTArrow _ _ -> T.IntegerType 32
  CTVar _     -> T.IntegerType 32

-- | Resolve built-ins with respect to a context.
toLlvmType :: CType -> T.Type
toLlvmType t = case t of
  CTBool      -> T.IntegerType 32
  CTI32       -> T.IntegerType 32
  CTArrow _ _ -> T.IntegerType 32
  CTVar _     -> T.IntegerType 32

-- | Resolve built-ins with respect to a context.
toLlvmType t = case t of
  CTBool      -> T.IntegerType 32
  CTI32       -> T.IntegerType 32
  CTArrow _ _ -> T.IntegerType 32
  CTVar _     -> T.IntegerType 32

-- | Resolve built-ins with respect to a context.