danidiaz / concrete-do

do-notation for various types, without the Monad typeclass

{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE QualifiedDo #-}
import ConcreteDo.IO qualified as IO
import ConcreteDo.Either qualified as Either