<*>
+ pure (\u1 -> u1)
` pure Term