References for GHC usage of multiple capabilities