A more awesome implementation of (->) t