This commit is contained in:
Oleg Grenrus 2017-04-28 14:55:13 +03:00
parent e2665391f9
commit c01dca6d27

View file

@ -37,7 +37,7 @@ class ( Entered m n typ ~ ret
) )
=> Enter typ m n ret => Enter typ m n ret
where where
enter :: m :~> n -> typ -> ret enter :: (m :~> n) -> typ -> ret
-- ** Servant combinators -- ** Servant combinators