WIP making HKT works with functor arguments