purescript-0.15.15: tests/purs/docs/src/TypeLevelString.purs

module TypeLevelString where

import Prim.TypeError (class Fail, Text)

data Foo

class Bar a

instance fooBar :: Fail (Text "oops") => Bar Foo