$ package:data-effects-core

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