Haskell的な型のシステムって

どうやったらつくれるのかなー