TaPLのHaskell実装