web-dev-qa-db-ja.com

semigroup

liftA2は関連性を保持しますか?