<features><mechanisms>...をHaskellの型に変換している途中