Control.Monad.PlusMonad

data Composition m n t

type m ::+ n

class Dist n

leftMap

rightMap

inl

inr

sym

commute

mapPlus

refl

Example

data File t

runFile

readLine