finish building power domain fmap
finish building power domain fmap

Ignore-this: 556e1cb87576de36cb26f8add3a1b163

darcs-hash:20140420020217-f399b-47979da2744a3685da90e6e90794e4a0d1af022b

robdockins/domains