A :: k -> k1 -> *