A :: k1 -> k2 -> *