{-# LANGUAGE GADTs #-} data Ident a where Ident :: a -> Ident a instance Functor Ident where -- fmap :: (a -> b) -> Ident a -> Ident b fmap f (Ident a) = Ident (f a) in1 :: Ident () -> () in1 = const () in2 :: Ident Bool -> Bool in2 (Ident…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。