mechanismをHaskellの型に変換した