TypeClassInstances.purs

-- @shouldFailWith MissingClassMember
module Main where

import Prelude

class A a where
  a :: a -> String
  b :: a -> Number

instance aString :: A String where
  a s = s