$ package:heftia

Type-level infix applcation for functors.
Type-level infix applcation for higher-order functors.