module Data.Hole.Strict (
    Hole(Hole)
) where


data Hole a = Hole
    deriving (Show, Read, Eq, Ord)


instance Functor Hole where
    fmap _ Hole = Hole


instance Monad Hole where
    return = const Hole
    Hole >>= _ = Hole
    Hole >> _ = Hole