purescript-0.11.4: examples/docs/src/TypeLevelString.purs

module TypeLevelString where

data Foo

class Bar a

instance fooBar :: Fail "oops" => Bar Foo