http://kataskeue.com/gdp.pdf We have some redundant conversions from `Maybe`, especially while using pipes. It would be nice to reflect real conditions in types.