purescript-0.15.15: tests/purs/failing/ClassHeadNoVTA1.purs

-- @shouldFailWith NoInstanceFound
module Main where

class Single tyNotAppearInBody where
  useSingle :: Int

single :: Int
single = useSingle