testsuite/tests/parser/should_compile/read026.hs


1
2
3
4
5
6
7
8

module ShouldCompile where

import Prelude hiding ((<>))

(<>)          :: (a -> Maybe b) -> (b -> Maybe c) -> (a -> Maybe c)
(m1 <> m2) a1   =  case m1 a1 of
                      Nothing -> Nothing
                      Just a2 -> m2 a2