abstract:A paramorphism (from Greek [meaning "close together") is an extension of the concept of catamorphism] to deal with a form which “eats its argument and keeps it too”,[[Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction.