Import ExceptT type and constructor