型理論系をHaskellで書く？アホだろ。