AsCCC --> ToCCC, asCCC --> toCCC; PatternGuards (needed before GHC 7.6)