@@ -62,7 +62,7 @@ Type Classes
6262 (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
6363
6464 class Monad m where
65− ret :: forall a. a -> m a
65+ $return :: forall a. a -> m a
6666 (>>=) :: forall b. forall a. m a -> (a -> m b) -> m b
6767
6868 class Num a where
@@ -129,6 +129,8 @@ Values
129129
130130::
131131
132+ $const :: forall b. forall a. a -> b -> a
133+
132134 (!!) :: forall a. [a] -> Prelude.Number -> a
133135
134136 (#) :: forall b. forall a. a -> (a -> b) -> b
@@ -145,8 +147,6 @@ Values
145147
146148 flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
147149
148− konst :: forall b. forall a. a -> b -> a
149−
150150 numAdd :: Prelude.Number -> Prelude.Number -> Prelude.Number
151151
152152 numAnd :: Prelude.Number -> Prelude.Number -> Prelude.Number