purescript-0.8.0.0: examples/passing/ClassRefSyntax.purs
module Lib (class X, go) where
class X a where
go :: a -> a
module Main where
import Lib (class X, go)
go' :: forall a. (X a) => a -> a
go' = go
main = Control.Monad.Eff.Console.log "Done"