:: (p -> q) -> (q -> r) -> p -> r package:newtype

A very simple operation involving running the function "under" the newtype. Suffers from the problems mentioned in the ala function's documentation.