import Control.Monad (replicateM)
 
data Govno a = Govno
    deriving (Show)
 
instance Monad Govno where
 
    -- Govno is the minimal possible context
    return x = Govno
 
    -- All operations on Govno produce Govno
    g >>= f = Govno
 
main = print (replicateM 3 Govno)