blob: 255e21a9b791f128b345191a2a594d6763e2f625 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MonoLocalBinds #-}
module ContDo where
import GHC.TypeLits
(>>=) :: (a -> b) -> a -> b
(>>=) = ($)
class AlwaysFail a
instance TypeError (Text "fail") => AlwaysFail a
fail :: AlwaysFail a => String -> a
fail = error
|
