class Test a where
  test :: Bool -> a
  test x = _