1module Main where
2
3import Prelude
4import Effect.Console (log)
5
6class Foo a where
7  foo ∷ a → a
8
9test ∷ ∀ a. (Foo a) ⇒ a → a
10test = foo
11
12main = log "Done"
13