1. 定义自己的数据类型，例如：

data MyType a = MyType a Int | MyType2 a Char

2. 实现Functor和Applicative实例，例如：

instance Functor MyType where fmap f (MyType a i) = MyType (f a) i fmap f (MyType2 a c) = MyType2 (f a) c

instance Applicative MyType where pure a = MyType a 0 (MyType f i) <> (MyType a j) = MyType (f a) (i+j) (MyType f i) <> (MyType2 a c) = MyType2 (f a) c (MyType2 f c) <> (MyType a j) = MyType2 (f a) c (MyType2 f c) <> (MyType2 a d) = MyType2 (f a) (c:d)

3. 对于每个函数，在需要的地方使用MyType来替代。

例如，如果有一个函数：

addTwo :: Int -> Int -> Int addTwo x y = x + y + 2

现在，可以定义一个新的函数，它接受MyType作为参数，并返回一个新的MyType：

addTwoMT :: MyType Int -> MyType Int -> MyType Int addTwoMT x y = fmap addTwo x <*> y

这个新的函数可以像下面这样使用：

mt1 = MyType 3 0 mt2 = MyType 5 0 mt3 = MyType2 3 'c'

addTwoMT mt1 mt2 -- 返回 MyType 10 0 addTwoMT mt1 mt3 -- 返回 MyType2 6 'c'