Wingman eta reduction gets stymied by pattern matches #1552
Description
This doesn't eta reduce:
test :: Monad m => () -> a -> m a
test = _But this does:
test2 :: Monad m => b -> a -> m a
test2 = _{{ message }}
This doesn't eta reduce:
test :: Monad m => () -> a -> m a
test = _But this does:
test2 :: Monad m => b -> a -> m a
test2 = _