This exists in Haskell's doctest library -- | Documentation goes here -- -- > 2 + 2 == 4 -- True -- -- prop> \lst -> reverse (reverse l

This exists in Haskell's doctest library -- | Documentation goes here -- -- > 2 + 2 == 4 -- True -- -- prop> \lst -> reverse (reverse lst) == lst