@@ -3,7 +3,7 @@ module Prelude.Cast
3import Prelude.Bool
3import Prelude.Bool
4import public Builtins
4import public Builtins
6−||| Type class for transforming a instance of a data type to another type.
6+||| Type class for transforming an instance of a data type to another type.
7class Cast from to where
7class Cast from to where
8 ||| Perform a cast operation.
8 ||| Perform a cast operation.