module Main where import PolyLib.Prelude import PolyLib.Base(pmap) import PolyLib.Propagate(propagate) main = print (propagate (pmap Just "Patrik")) -- expected output: Just "Patrik"