Unsafe coercion leads to the missing of datatype definition and construction

[thautwarm]

idris-lang/Idris-dev#4692

Currently, the workaroud is using the datatypes you'd use in FFIs at least once without FFI, making sure they engage in the computation that' ll be used in main without being unsafe coerced(like show them and then putStrLn ).