purescript-0.13.0: tests/purs/passing/ConstraintOutsideForall.purs

module Main where

import Effect.Console

class Test a

instance testUnit :: Test Int

test :: Test Int => forall a. a -> a
test a = a

main = log (test "Done")