take <*> X ; :: thesis: <*> X is X -valued
thus <*> X is X -valued ; :: thesis: verum