[ghc-steering-committee] Please review #606: 281 to use atype instead of ktype, Shepherd: Richard