Report copyright - Can two fixpoint types in Mendler style unite?

Please pass captcha verification before submit form