Data.HoleyMonoid

data HoleyMonoid m r a

run

now

later

bind

map