Shared Implementation Types

[Matthewar]

For better configuration and clarity, potentially should refer to Haskell built in types in one file and refer to this when making custom types.