:: (a -> b) -> (b -> c) -> (a -> c) package:newtype

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