module Main where import Lib (class X, go) import Control.Monad.Eff.Console (log) go' :: forall a. X a => a -> a go' = go main = log "Done"