module Main where

import Prelude
import Effect.Console (log)

class Monad m ⇐ Monad1 m where
  f1 :: m Int

class Monad m <= Monad2 m where
  f2 :: m Int

f ∷ ∀ m. Monad m ⇒ Int → m Int
f n = do
  n' ← pure n
  pure n'

f' :: forall m. Monad m => Int -> m Int
f' n = do
  n' <- pure n
  pure n'

main = log "Done"