module Test where import Prelude class TestCls a where test :: a -> a instance TestCls Unit where test _ = unit